Bridging Representations of Laws, of Implementations and of Behaviours

نویسندگان

  • Giovanni Sileno
  • Alexander Boer
  • Tom M. van Engers
چکیده

To align representations of law, of implementations of law and of concrete behaviours, we designed a common ground representational model for the three domains, based on the notion of position, building upon Petri nets. This paper reports on work to define subsumption between positional models.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Universal Investigation of $n$-representations of $n$-quivers

noindent We have two goals in this paper. First, we investigate and construct cofree coalgebras over $n$-representations of quivers, limits and colimits of $n$-representations of quivers, and limits and colimits of coalgebras in the monoidal categories of $n$-representations of quivers. Second, for any given quivers $mathit{Q}_1$,$mathit{Q}_2$,..., $mathit{Q}_n$, we construct a new quiver $math...

متن کامل

Comparison of therapeutic results of large saphenous vein resection with conventional methods and standard bridging

                                                                 Background: The use of the traditional method for saphenous vein harvesting is associated with wound complications and not on-time patient mobilization. This has caused the improvement of minimally invasive vein harvesting techniques, together with general bridging. This study was designed to compare the therapeutic results of...

متن کامل

Irreducibility of the tensor product of Albeverio's representations of the Braid groups $B_3$ and $B_4$

‎We consider Albeverio's linear representations of the braid groups $B_3$ and $B_4$‎. ‎We specialize the indeterminates used in defining these representations to non zero complex numbers‎. ‎We then consider the tensor products of the representations of $B_3$ and the tensor products of those of $B_4$‎. ‎We then determine necessary and sufficient conditions that guarantee the irreducibility of th...

متن کامل

Comparison of the importance of caring behaviours as perceived by nurses and patients

Caring is the essence of nursing and is a universal phenomenon, not only essential for effective therapy also for self actualization and for human survival. Since research and information about caring has implications for improving maintenance of the quality of caring performance, this study was inducted to compare the importance of caring behaviours in professional nurses and in- patients in m...

متن کامل

Representations of Double Coset Lie Hypergroups

We study the double cosets of a Lie group by a compact Lie subgroup. We show that a Weil formula holds for double coset Lie hypergroups and show that certain representations of the Lie group lift to representations of the double coset Lie hypergroup. We characterize smooth (analytic) vectors of these lifted representations.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015